Automatic Test Case Generation from UML Models and OCL Expressions
نویسندگان
چکیده
In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria. We introduce our current prototype implementation, compare it to commercial tools, and sketch shortcomings and further development.
منابع مشابه
Deriving Input Partitions from UML Models for Automatic Test Generation
In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive partitions of input parameter value ranges for boundary testing. We present a test generation algorithm and describe an implementation of this algorithm. Finally, we discuss our approach and compare it to commercial tools.
متن کاملAutomatic Test Generation from Coupled UML Models using Input Partitions
In this paper, we deal with model-based automatic test generation. We show how to use coupled models consisting of UML state machines, class diagrams, and OCL expressions to automatically derive partitions of input ranges for boundary testing. We present a test generation algorithm, describe an implementation of this algorithm, and compare this implementation to Rhapsody’s ATG.
متن کاملEvaluating and Debugging OCL Expressions in UML Models
This paper discusses the relationship between tests and proofs with focus on a tool for UML and OCL models. Tests are thought of as UML object diagrams and theorems or properties which are to be checked are represented as OCL constraints, i.e., class invariants or operation preand postconditions. The paper shows for the UML and OCL tool USE (UML-based Specification Environment) how to trace and...
متن کاملA precise approach to validating UML models and OCL constraints
The Unified Modeling Language (UML) is a widely accepted standard for modeling software systems. The UML supports object-oriented approaches to software development with a rich set of modeling concepts. The graphical notation of UML includes diagrams such as use case diagrams, class diagrams, state diagrams and sequence diagrams. These are used for describing static as well as dynamic aspects o...
متن کاملOn the Semantics of Object-Oriented Data Structures and Path Expressions
UML/OCL is perceived as the de-facto standard for specifying object-oriented models in general and data models in particular. Since recently, all data types of UML/OCL comprise two different exception elements: invalid (“bottom” in semantics terminology) and null (for “non-existing element”). This has far-reaching consequences on both the logical and algebraic properties of OCL expressions as w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008